POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POPL 2023 Submission #278). Details and instructions at given in the README.md file of this upload or at https://github.com/mlb2251/stitch-artifact/blob/main/README.m
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
Artifact accompanying the paper Specification-Guided Component-Based Synthesis from Effectful Librar...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
Artifact accompanying the POPL 2019 paper Structuring the Synthesis of Heap-Manipulating Programs
This is the artifact corresponding to the paper "From SMT to ASP: Solver-Based Approaches to Solving...
A zip-file containing the artifact, models and scripts for reproducing the results of the paper "Tea...
This artifact contains the code accompanying the POPL 2023 paper Hefty Algebras: Modular Elaboration...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is the artifact for our paper, "Equality Saturation Theory Exploration à la Carte", which will ...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
Artifact accompanying the paper Specification-Guided Component-Based Synthesis from Effectful Librar...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
Artifact accompanying the POPL 2019 paper Structuring the Synthesis of Heap-Manipulating Programs
This is the artifact corresponding to the paper "From SMT to ASP: Solver-Based Approaches to Solving...
A zip-file containing the artifact, models and scripts for reproducing the results of the paper "Tea...
This artifact contains the code accompanying the POPL 2023 paper Hefty Algebras: Modular Elaboration...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is the artifact for our paper, "Equality Saturation Theory Exploration à la Carte", which will ...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
Artifact accompanying the paper Specification-Guided Component-Based Synthesis from Effectful Librar...
DOI
Add to ORKG